generalized induction

[计] 广义归纳法